Mike Paterson David Michael Ritchie Park (1935-1990) in Memoriam. 187-200 1994 133 Theor. Comput. Sci. 1 db/journals/tcs/tcs133.html#Paterson94