EPIC and related material.

• BW87 Implementing algebraic specifications
• BW89 Implementing algebraic specifications
• KW93 ARM, Abstract rewriting machine
• KW93a ARM -- Abstract Rewriting Machine
• KW94 Lazy rewriting on eager machinery
• KW95 The New ASF compiler --- An exercise in self-applicability
• KW95b Lazy Rewriting and Eager Machinery
• KW95c A model for I/O in equational languages with don't care non-determinism
• KW95d Minimal Term Rewriting Systems
• KW96 Simulating TRSs by Minimal TRSs: A Simple, Efficient, and Correct Compilation Technique
• KWD94 An extensible language for the generation of parallel Data Manipulation and Control Packages
• Kam94 GEL, a Graph Exchange Language
• WK93 A feasibility study in the formal specification of the DM, the IR and Cosy Engines
• WK94 A hybrid interpreter for ARM term rewriting
• WK96 Epic 1.0 (unconditional)
• WZ95 Rewrite systems for integer arithmetic
• Wal86a An annotated algebraic specification of the static semantics of Pool
• Wal89 Hybrid implementations of algebraic specifications
• Wal89a The static semantics of POOL
• Wal90 Hybrid implementations of algebraic specifications
• Wal91 On Equal Terms, Implementing Algebraic Specifications
• Wal94 A complete term rewriting system for decimal integer arithmetic
• Wal94a Profiles: a syntactic extension for structure hiding in specifications based on pattern matching
• Wal94b A library facility for parameterized ASF+SDF specifications aslib 1.0
• Wal94c Lazy rewriting on eager machinery
• Wal94d Reflexive applicative term rewriting systems
• Wal94e A hybrid interpreter for ARM term rewriting
• Wal94f Status report on ASF2C