Patrice Enjalbert Guy Cousineau Three Semantics: A Framework for Studying Program Structures and Program Logics. 77-82 1980 IFIP Congress db/conf/ifip/ifip80.html#EnjalbertC80