Baader, F. and Siekmann, J. (1994) Unification theory. In Handbook of Logic in Artificial Intelligence and Logic Programming, ed. Gabbay Dov, M.Hogger, C. J. and Robinson, J. A.. Oxford University Press.
Beynon-Davies, P. (1993) Knowledge Engineering for Information Systems. McGraw-Hill.
Bird, R. S. (1987) A Calculus of Functions for Program Derivation. Oxford University Programming Research Group Monograph.
Brownston, L., Farrell, R., Kant, E. and Martin, N. (1985) Programming Expert Systems in OPS5: An introduction to Rule-Based Programming. Addison-Wesley.
Burstall, R. M. and Darlington, J. (1977) A Transformation System for Developing Recursive Programs. J. ACM 24 (1).
Charniak, E. et al. (1987) Artificial Intelligence Programming. Lawrence Erlbaum.
Clark, A. N. (1994) Pattern recognition of noisy sequences of behavioural events using functional combinators. Computer Journal, 37(5).
Clocksin, W. F. and Mellish, C. S. (1984) Programming in Prolog. 2nd ed.Springer-Verlag.
Culbert, C., Riley, G. and Savely, R. T. (1987) Approaches to the verification of rule-based expert systems. In 1st Annual Workshop on Space Operations Automation and Robotics (SOAR 87), NASA Conf. Pub. 2491.
Goguen, J. A., Thatcher, J. W. and Wagner, E. G. (1976) An initial algebra approach to the specification, correctness and implementation of abstract data types. In Current Trends in Programming Methodology IV, Yeh, R. (ed.). Prentice Hall.
Harper, R., MacQueen, D. and Milner, R. (1986) Standard ML. Laboratory for Foundations of Computer Science Report Series ECS-LFCS-86-2.
Hudak, P. et al. (1992) The Haskell Report. ACM SIGPLAN Notices, 27(5).
Jounanaud, J-P. and Dershowitz, N. (1990) Rewrite systems. In Handbook of Theoretical Computer Science, Van Leeuwen, J. (ed.). Elsevier.
Krause, P. et al. (1993) Can we formally specify a medical decision support system? IEEE Expert, June.
Lucas, P. and Van Der Gaag, L. (1991) Principles of Expert Systems. Addison-Wesley.
Luger, G. F. and Stubblefield, W. A. (1989) Artificial Intelligence and the Design of Expert Systems. Benjamin Cummings.
Luqi, V. B. and Yehudai, A. (1993) Using Transformations in Specification-Based Prototyping. IEEE Trans. on Software Engineering, 19(5).
Lopez, B., Meseguer, P. and Plaza, E. (1990) Knowledge based systems validation: a state of the art. AI Communications, 3(2).
Major, F., Lapalme, G. and Cedergren, R. (1991) Domain generating functions for solving constraint satisfaction problems. Journal of Functional Programming, 1(2).
Morgan, C. (1990) Programming from Specifications. Prentice Hall.
Nilsson, N. J. (1980) Principles of Artificial Intelligence. Springer-Verlag.
O'Keefe, R. M., Balci, O. and Smith, E. P. (1987) Validating expert system performance. IEEE Expert, Winter.
Partsch, H. and Steinbruggen, R. (1983) Program transformation systems ACM Computing Surveys, 15(3).
Peyton Jones, S. (1987) The Implementation of Functional Programming Languages. Prentice Hall.
Plotkin, G. D. (1975) Call-by-name, Call-by-value and the λ-calculus. Theoretical Computer Science, 1.
Roman, G., Gamble, R. F. and Ball, W. E. (1993) Formal derivation of rule-based programs. IEEE Trans. Software Engineering, 19(3).
Rushby, J. (1988) Quality Measures and Assurance for AI Software. NASA Contractor Report CR-4187.
Sondergaard, H. and Setsoft, P. (1992) Non-determinism in functional Languages. The Computer Journal, 35(5).
Steele, G. (1990) Common Lisp, the Language. Digital Press.
Wadler, P. (1990) Comprehending monads. In Proc. 19th Symp. on Lisp and Functional Programming,Nice, France.ACM.