1. J. Backus: Can Programming be Liberated From Von Neumann Style ? A functional style of algebra of programs. CACM, vol 21, no. 8, pp. 613–641, August 1978.
2. G. Barberye, T. Joubert, M. Martin, M. Mouffron, E. Paul: Manuel OASIS. Note technique CNET, NT/PAA/CLC/LSC/959, 1983.
3. D. Bert: Refinements of Generic Specifications With Algebraic Tools. Proceedings of the IFIP 9th World Computer Congress, pp. 815–820, Paris, September 1983.
4. D. Bert, S. Bensalem: Algebra of Strongly Typed Functional Programs. RR. IMAG-561-LIFIA-33, Grenoble, 1985.
5. R. M. Burstall, J. A. Goguen: Putting theories together to make specifications. Proceedings of 5th International Joint Conference on Artificial Intelligence, pp. 1045–1058, Cambrige (Massachussets), 1977.