linux
manpag.es
Search
A–Z
Sections
Topics
Packages
Cafeobj
cafeobj(1)
algebraic specification and programming language