Logical construction of systems - Warnier, Jean Dominique (Van Nostrand Reinhold, 1981)