Syntactically recognizable modularly stratified programs (1994)

by David B Kemp, Kotagiri Ramamohanarao
Venue:University of Melbourne, Computer Science Department