Logical Construction of Systems - Warnier, Jean Dominique (Van Nostrand Reinhold Company, 1981)