@inproceedings{conf/rex/BarringerFGGO89,
  added-at = {2009-10-08T00:00:00.000+0200},
  author = {Barringer, Howard and Fisher, Michael and Gabbay, Dov M. and Gough, Graham and Owens, Richard},
  biburl = {http://www.bibsonomy.org/bibtex/2aaf4b637f0204f54f83cf1d325746641/dblp},
  booktitle = {REX Workshop},
  crossref = {conf/rex/1989},
  date = {2009-10-08},
  description = {dblp},
  editor = {de Bakker, J. W. and de Roever, Willem P. and Rozenberg, Grzegorz},
  ee = {http://dx.doi.org/10.1007/3-540-52559-9_62},
  interhash = {c2c54587370f071c5cba0062680f02a6},
  intrahash = {aaf4b637f0204f54f83cf1d325746641},
  isbn = {3-540-52559-9},
  keywords = {dblp},
  pages = {94-129},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-10-08T00:00:00.000+0200},
  title = {METATEM: A Framework for Programming in Temporal Logic.},
  url = {http://dblp.uni-trier.de/db/conf/rex/rex89.html#BarringerFGGO89},
  volume = 430,
  year = 1989
}