1. Wittgenstein, L.: Philosophische Untersuchungen, Herausgegeben von Joachim Schulte. Wissenschaftliche Buchgesellschaft. Frankfurt am Main (2001)
2. Searle, J.R.: Minds, brains, and programs. Behavioral and Brain Sciences 3 (1980)
3. Siminiceanu, R.: Model Checking Abstract PLEXIL Programs with SMART. NASA CR-2007-214542 (April 2007)
4. Magee, J., Kramer, J.: Concurrency. In: State Models and Java Programs.: State Models and Java Programs. Wiley & Sons, Chichester (1999)
5. ter Hofstede, A.H., van der Aalst, W.M.: YAWL: yet another workflow language. Information Systems 30(4), 245–275 (2005)