Proc. First CSCSI/SCEIO National Conference, Vancouver, 1976

• Levesque, Mylopoulos, McCalla, Melli, and Tsotsos, (1976) Levesque, Mylopoulos, McCalla, Melli, and Tsotsos, "A formalism for modelling" pp 243-254.