R.: Eden: Language Definition and Operational Semantics (1996)

by S Breitinger, R Loogen, Y Ortega-Mallén, Peña