Structured Operational Semantics of a Fragment of the Language Scheme.

Furio Honsell Alberto Pravato Simona Ronchi Della Rocca Structured Operational Semantics of a Fragment of the Language Scheme. 335-365 1998 8 J. Funct. Program. 4 db/journals/jfp/jfp8.html#HonsellPR98