Algebraic Specification and Proof of Properties of Communica

  1. home
  2. Books
  3. Algebraic Specification and Proof of Properties of Communica