Example of an Algebraic Specification of a queue [PDF]
Example of an Algebraic Specification of a club (some proofs included)
[PDF]
Example of an Algebraic Specification of a LIFO stack (some proofs included)
[PDF]
Security box vault scenario and a proposed algebraic specification solution (as per class explanation) [PDF]
Use your browser's "back" button to go back.