CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

Recently the theory of partially ordered groups has been used by analysts, algebraists, topologists and model theorists. This book presents the most important results and topics in the theory with proofs that rely on (and interplay with) other areas of mathematics. It concludes with a list of some unsolved problems for the reader to tackle. In stressing both the special techniques of the discipline and the overlap with other areas of pure mathematics, the book should be of interest to a wide audience in diverse areas of mathematics Basic specifications - signatures; models; sentences; satisfaction; proof system; structuring specifications - fundamental semantics; concepts; module imports; views; parameterized modules; module expressions; built-in modules; proof technologies - rewriting; induction; coinduction; methodologies - nondeterminism; concurrent object composition; dynamic systems of objects; applications in rewriting logic; general small methodological advises