Specifications and Programs in a Wide Spectrum Language (1991)

by M Ward
Venue:J. Assoc. Comput. Mach