A methodology for formal system development using process algebraic techniques. - B. G. O. Scott (1994)