Specification Case Studies (1987)

by Ian Hayes