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