DBLP Record 'conf/focs/Goguen72'

BibTeX

@inproceedings{DBLP:conf/focs/Goguen72,
  author    = {Joseph A. Goguen},
  title     = {On Homomorphisms, Simulations, Correctness and Subroutines
               for Programs and Program Schemes},
  booktitle = {FOCS},
  year      = {1972},
  pages     = {52-60},
  crossref  = {DBLP:conf/focs/FOCS13},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/focs/FOCS13,
  title     = {13th Annual Symposium on Switching and Automata Theory,
               25-27 October 1972, The University of Maryland, USA},
  booktitle = {13th Annual Symposium on Switching and Automata Theory},
  publisher = {IEEE},
  year      = {1972},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}