Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra. - P. C. Fencott; Andy Galloway; Mike A. Lockyer; S. J. O'Brien; S. Pearson (FME, 1994)