@article{journals/cj/GallimoreCS89,
  added-at = {2012-06-27T00:00:00.000+0200},
  author = {Gallimore, Robin M. and Coleman, Derek and Stavridou, Victoria},
  biburl = {http://www.bibsonomy.org/bibtex/296225b2789ef56bcdba7124b15ec6c7d/dblp},
  ee = {http://dx.doi.org/10.1093/comjnl/32.5.413},
  interhash = {1ecdec18e5acbc32756e221b20cef5f9},
  intrahash = {96225b2789ef56bcdba7124b15ec6c7d},
  journal = {Comput. J.},
  keywords = {dblp},
  number = 5,
  pages = {413-421},
  timestamp = {2012-06-27T00:00:00.000+0200},
  title = {UMIST OBJ: A Language for Executable Program Specifications.},
  url = {http://dblp.uni-trier.de/db/journals/cj/cj32.html#GallimoreCS89},
  volume = 32,
  year = 1989
}