Jon G. Riecke Program Language Semantics: The Description of Computational Structures. 106-109 1997 32 SIGPLAN Notices 1 db/journals/sigplan/sigplan32.html#Riecke97