Programming Languages and Their Definition, volume 177 (1984)

by Reprinted in H Bekič
Venue:of Lecture Notes in Computer Science