Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification

by

  • Publisher: World Scientific
  • Print ISBN: 9789810235130, 9810235135

  • eText ISBN: 9789812816108, 9812816100