SIS-semantics implementation system, reference manual and user guide (1979)

by Peter Mosses