Engberg, U., Nielsen, M. and Winskel, G. 1992. Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24). DAIMI Report Series. 21, 392 (Apr. 1992). DOI:https://doi.org/10.7146/dpb.v21i392.6627.