editors. The Vienna Development Method: The Meta-Language (1978)

by D Bjørner, C B Jones
Venue:of Lecture Notes in Computer Science