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