The Vienna Development Method: The Meta-Language, ser (1978)

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