Samson Abramsky Introduction. 3-6 1985 conf/ctcs/1985 CTCS db/conf/ctcs/ctcs1985.html#Abramsky85