1. Ashby, W.R.: Design for a Brain, 2nd edn. Chapman and Hall, Boca Raton (1960)
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. John Wiley & Sons, Chichester (1996)
4. Baum, W.M.: Understanding behaviorism: science, behavior, and culture. Harper Collins College Publishers, New York (1994)
5. Boogerd, F., Bruggeman, F., Jonker, C.M., Looren de Jong, H., Tamminga, A., Treur, J., Westerhoff, H.V., Wijngaards, W.C.A.: Interlevel Relations in Computer Science, Biology, and Psychology. Philosophical Psychology 15, 463–471 (2002)