Larch : languages and tools for formal specification / - Guttag, John V., (Springer-Verlag,, 1993)