SpecWare language manual, version 2.0 (1996)

by Y V Srinivas, Richard Jullig