Here's a link to Professor Harvey's papers page (the link is a little hard to notice on his main page): http://www.cs.berkeley.edu/~bh/papers.html (it has a couple of neat Logo essays in there)