Foundations of computing system development with set theory and logic - Scheurer, Thierry (Addison-Wesley, 1994)