A Study of 12 Specifications of the Library Problem (1988)

by J M Wing
Venue:IEEE Software