Specification Mechansims:
Textual Specification

Paul Buis
Computer Science Department
Ball State University