THE SPECIFICATION OF COMPLEX SYSTEMS - Cohen, Bernard (Addison-Wesley Publishing, 1986)