A system for the representation of theorems and proofs. - Marion R. Finley Jr.; Evelyne B. Hausen-Tropper (SIGART Newsl., 1989)