Controlled mixed computation and its appplication to systematic development of language-oriented parsers (1987)

by A P Ershov, B N Ostrovski
Venue:In Program Specification and Transformation