A Logic-Based Approach to System Modelling. - Anthony Rich; Marvin H. Solomon (SCM, 1991)