A Study in the Application of Theorem Proving. - David C. Luckham; Jorge J. Morales; Joachim F. Schreiber (AISB/GI (ECAI), 1978)