K. van Hee, P. Rambags, and P. Verkoulen. Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture Notes in Computer Science, page 296-327. Springer, (1993)
{. Aalst, T. Basten, H. Verbeek, P. Verkoulen, and M. Voorhoeve. Proceedings of the IJCAI'99 Workshop on Intelligent Workflow
and Process Management: The New Frontier for AI in Business, page 36--45. Stockholm, Sweden, (August 1999)
{. Hee, {. Toorn, {. Woude, and P. Verkoulen. Software Architectures for Business Process Management (SABPM'99), page 1--20. Heidelberg, Germany, Forschungsbericht Nr. 390, University of Karlsruhe,
Institut AIFB, Karlsruhe, Germany, (June 1999)