de Almeida Falbo R., Gleidson Bertollo G., 2005, Establishing a Common Vocabulary for Helping Software Organizations to Understand Software Processes, International Workshop on Vocabularies, Ontologies and Rules for The Enterprise (VORTE), Enschede.
Baeten J., Weijand W., 1990, Process algebra. Cambridge University Press, Cambridge.
Hammer M., Champy J., 1993, Reengineering the corporation. A manifesto for business revolution, Rarpe r Business.
von Bertalanffy L., 1984, Ogólna teoria systemów, PWN, Warszawa.
Bi H., Zhao J., 2004, Applyingpropositional logic to workflow verification, "Information Technology and Management" Vol. 5, No. 3-4, pp. 293-318.
Borkowski L., 1991, Wprowadzenie do logiki i teorii mnogości, Towarzystwo Naukowe KUL, Lublin.
ISO 9000-1 International Standard Intuition: Quality management and quality assurance standards, 1994.
Jacobson I. Ericsson M., Jacobson A., 1995, The object advantage: Business process re-engineering with object technology, Addison Wesley.
Kędzierski S., 1996, Office modelling through deontic logic, w: S. Wrycza, J. Zupančič (eds): Proceedings of the Fifth International Conference Information Systems Development - ISD'96. Method s & Tools. Theory & Practice, Gdańsk.
Pinto J., 1994, Temporal reasoning in the situation calculus, Technical Raport KRR--TR-94-1, Department of Computer Science, University of Toronto.
Przełęcki M., 1998, Logika teorii empirycznych, Wydawnictwo Naukowe PWN, Warszawa.
Szałas A., 1992, Zarys dedukcyjnych metod automatycznego wnioskowania, Akademicka Oficyna Wydawnicza RM, Warszawa.
Workflow Management Coalition: Glossary: A Workflow Management Coalition Specification, 1994.