Specification and veritification of concurrent systems - Rattray, C (Springer Verlag, 1990)