1. Report on a wide spectrum language for program specification and development;Bauer,1981
2. Programming in a wide spectrum language: A collection of examples;Bauer;Sci. Comput. Programming,1981
3. Molloy;Beckett,1959
4. Tabulation techniques for recursive programs;Bird;ACM Comput. Surveys,1980
5. The promotion and accumulation strategies in transformational programming;Bird;ACM Trans. Prog. Lang. and Systems,1984