About specification
About software specification
About transition system
About description
About formal description
About algebraic specification
About Simula listings
About LISP listings
About COBOL listings
TOP
BOTTOM