Foundations of computing system development with set theory and logic - Scheurer, Thierry (International computer science series, 1994)