EXSPECT, the functional part

theory of planning A unified approach to sequences, bags, and trees Language theory of a lambda-calculus with recursive types An introduction to the category theoretic solution of recursive domain equations Bottom-up tree acceptors Executable specifications for discrete event systems Discrete event systems: concepts and basic results. Fasering en documentatie in software engineering. EXSPEcr, the functional part.