Foundations of computing system development with set theory and logic - Scheurer, Thierry (Wokingham, England Addison-Wesley, 1994)
Keywords: System design; Logic, Symbolic and mathematical; Set theory