ShipmanM99'

BibTeX

@article{DBLP:journals/tois/ShipmanM99,
  author    = {Frank M. Shipman III and
               Raymond McCall},
  title     = {Incremental Formalization with the Hyper-Object Substrate},
  journal   = {ACM Trans. Inf. Syst.},
  volume    = {17},
  number    = {2},
  year      = {1999},
  pages     = {199-227},
  ee        = {http://doi.acm.org/10.1145/306686.306690},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}