Man Pages in cafeobj

Section 1: Executable programs or shell commands

cafeobj.1

Algebraic specification and programming language