Engberg, U.; Nielsen, M.; Winskel, G. Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24). DPB 1992, 21.