HLP84
"HLP84 Semantic Metalanguage and its Implementation", Kai Koskimies and Jukka Paakki, Report C-1983-69, Department of Computer Science, University of Helsinki, 1983.