• Semantics of algebraic specifications (PDF)
• Conditional equations (PDF)
• Queue ADT example (PDF)
• Miranda ADT animation (PDF)