Specification Case Studies (1993)

by I Hayes, editor
Venue:International Series in Computer Science