The Vienna Development Method: The Meta-langunge (1978)

by D BJORNER, C G JONES
Venue:Lecture Notes in Computer Science