Semantic aspects of concurrent processes. - Gérald Belpaire; Jean Pierre Wilmotte (SIGPLAN-SIGOPS Interface Meeting, 1973)

Correctness of realizations of levels of abstraction in operating systems. - Gérald Belpaire; Jean Pierre Wilmotte (Symposium on Operating Systems, 1974)