Howard Barringer Graham Gough Brian Monahan Alan Williams A Process Algebra Foundation for Reasoning about Core ELLA. 303-324 1996 39 Comput. J. 4 db/journals/cj/cj39.html#BarringerGMW96