Ina Jo specification language reference manual (1992)

by John Scheid, Steven Holtsberg