DBLP Record 'journals/acta/NakajimaHN80'

BibTeX

@article{DBLP:journals/acta/NakajimaHN80,
  author    = {Reiji Nakajima and
               Michio Honda and
               Hayao Nakahara},
  title     = {Hierarchical Program Specification and Verification - a
               Many-sorted Logical Approach},
  journal   = {Acta Inf.},
  volume    = {14},
  year      = {1980},
  pages     = {135-155},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}