Mostly those, but there are some old conference papers and IEEE transactions (if memory serves) that are more explicit. I'll look them up when I have a block of time free.