Howard Barringer Michael Fisher Dov M. Gabbay Graham Gough Richard Owens METATEM: A Framework for Programming in Temporal Logic. 94-129 1989 conf/rex/1989 REX Workshop db/conf/rex/rex89.html#BarringerFGGO89 http://dx.doi.org/10.1007/3-540-52559-9_62