@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)