Systematic Program Development (1986)

by C B Jones
Venue:in Gehani, N. & McGettrick, A.D. (eds), Software Specification Techniques, Addison-Wesley