@InProceedings{Diaconescu-Goguen-Stefaneas-93,
  author    = {R\u{a}zvan Diaconescu and Joseph Goguen and Petros Stefaneas},
  title     = {Logical support for modularisation},
  booktitle = {Papers presented at the second annual Workshop on Logical environments},
  year      = {1993},
  pages     = {83--130},
  location  = {Edinburgh, Scotland},
  publisher = {Cambridge University Press},
  address   = {New York, NY, USA},
}