1. Allen, F.E.: Program optimization. In: Annl. review of autom. programming (Halpern, Shaw, eds.), Vol. 5, pp. 239?308. New York: Pergamon 1969
2. Ashcroft, E.A.: Program proving without tears. Proc. of the Intl. Symp. on Proving and Improving Programs, pp. 99?111, Senans, France, July 1975
3. Ashcroft, E.A., Wadge, W.: Lucid, a non-procedural language with iteration. Comm. ACM 20, 7, 519?526 (1977)
4. Ashcroft, E.A., Wadge, W.: Lucid, a formal system for writing and proving programs. SIAM J. Comput. 5, 336?354 (1976)
5. Ashcroft, E.A., Wadge, W.: Lucid, scope structures and defined functions. Tech. Rept. CS-76-22, Dept. of Comp. Sci., University of Waterloo, Nov. 1976, 28 pp.