Efficient implementation of an algebraic specification language (1989)

by H Klaeren, K Indermark
Venue:Lecture Notes in Computer Science