RML — A new language and implementation for natural semantics (1994)

by M Pettersson
Venue:Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP’94, volume 844 of Lecture Notes in Computer Science