editors. Towards a formal description of ADA (1980)

by D Bjørner
Venue:of Lecture Notes in Computer Science