David H. Pitt Categories. 6-15 1985 conf/ctcs/1985 CTCS db/conf/ctcs/ctcs1985.html#Pitt85