Howard Barringer Michael Fisher Dov M. Gabbay Graham Gough Richard Owens METATEM: An Introduction. 533-549 1995 7 Formal Asp. Comput. 5 db/journals/fac/fac7.html#BarringerFGGO95