@incollection(modalg,
author = "R\u{a}zvan Diaconescu and Joseph Goguen and Petros Stefaneas",
title = "Logical Support for Modularisation",
booktitle = "Logical Environments",
editor = "Gerard Huet and Gordon Plotkin",
note = "Proceedings of a Workshop held in Edinburgh, Scotland, May 1991",
publisher = "Cambridge",
pages = "83--130",
year = 1993)