1

John Backus, Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs, Communications of the ACM, v.21 n.8, p.613-641, Aug. 1978  [doi>10.1145/359576.359579]

2

Carnap, R. <u>Introduction to Symbolic Logic and its Applications</u>, Dover, 1958.

3

Futaci, Suha <u>Representational Techniques for Relational Languages and the Worst Case Asymptotical Time Complexity Behaviour of the Related Algorithms</u>, Naval Postgraduate School MS thesis, June 1982.

4

B. J. MacLennan, Fen—an axiomatic basis for program semantics, Communications of the ACM, v.16 n.8, p.468-474, Aug. 1973  [doi>10.1145/355609.362316]

5

MacLennan, B. J. <u>Programming with a Relational Calculus</u>, Computer Science Department Technical Report NPS52--81--013, Naval Postgraduate School, September 1981.

6

B. J. MacLennan, Introduction to relational programming, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.213-220, October 18-22, 1981, Portsmouth, New Hampshire, United States  [doi>10.1145/800223.806781]

7

MacLennan, B. J. <u>The Automatic Generation of Syntax Directed Editors</u>, Computer Science Department Technical Report NPS52--81--014, Naval Postgraduate School, October 1981.

8

MacLennan, B. J. <u>A Relational Program for a Syntax Directed Editor</u>, Computer Science Department Technical Report NPS52--82--006, April 1982.

9

B. J. MacLennan, A simple, natural notation for applicative languages, ACM SIGPLAN Notices, v.17 n.10, p.43-49, October 1982  [doi>10.1145/948086.948089]

10

Whitehead, A. N. and Russell, B. <u>Principia Mathematica to *56</u>, Cambridge, 1970.

Dave Cattrall , Colin Runciman, Widening the representation bottleneck: a functional implementation of relational programming, Proceedings of the conference on Functional programming languages and computer architecture, p.191-200, June 09-11, 1993, Copenhagen, Denmark

Bertrand Meyer, The software knowledge base, Proceedings of the 8th international conference on Software engineering, p.158-165, August 28-30, 1985, London, England

Patrick A. V. Hall, Relational algebras, logic, and functional programming, ACM SIGMOD Record, v.14 n.2, June 1984

S. Ceri , S. Crespi-Reghizzi, Relational data bases in the design of program construction systems, ACM SIGSOFT Software Engineering Notes, v.8 n.3, p.17-29, July 1983

S. Ceri , S. Crespi-Reghizzi, Relational data bases in the design of program construction systems, ACM SIGPLAN Notices, v.18 n.11, November 1983

S. Ceri , S. Crespi-Reghizzi , A. D. Maio , L. A. Lavazza, Software Prototyping by Relational Techniques: Experiences with Program Construction Systems, IEEE Transactions on Software Engineering, v.14 n.11, p.1597-1609, November 1988

Dirk Beyer, Relational programming with CrocoPat, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China

B. J. MacLennan: colleagues