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

by P MOSSES
Venue:DAIMI Rep. MD-30, DAIMI, Univ. of Aarhus