%0 Journal Article %1 journals/cj/GallimoreCS89 %A Gallimore, Robin M. %A Coleman, Derek %A Stavridou, Victoria %D 1989 %J Comput. J. %K dblp %N 5 %P 413-421 %T UMIST OBJ: A Language for Executable Program Specifications. %U http://dblp.uni-trier.de/db/journals/cj/cj32.html#GallimoreCS89 %V 32

@article{journals/cj/GallimoreCS89, added-at = {2012-06-27T00:00:00.000+0200}, author = {Gallimore, Robin M. and Coleman, Derek and Stavridou, Victoria}, biburl = {https://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-28T11:34:58.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 }