GannonHM85'

@inproceedings{DBLP:conf/tapsoft/GannonHM85,
  author    = {John D. Gannon and
               Richard G. Hamlet and
               Harlan D. Mills},
  title     = {Functional Semantics of Modules},
  booktitle = {TAPSOFT, Vol.2},
  year      = {1985},
  pages     = {42-59},
  ee        = {http://dx.doi.org/10.1007/3-540-15199-0_4},
  crossref  = {DBLP:conf/tapsoft/1985-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tapsoft/1985-2,
  editor    = {Hartmut Ehrig and
               Christiane Floyd and
               Maurice Nivat and
               James W. Thatcher},
  title     = {Mathematical Foundations of Software Development, Proceedings
               of the International Joint Conference on Theory and Practice
               of Software Development (TAPSOFT), Berlin, Germany, March
               25-29, 1985, Volume 2: Colloquium on Software Engineering
               (CSE)},
  booktitle = {TAPSOFT, Vol.2},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {186},
  year      = {1985},
  isbn      = {3-540-15199-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}