1. Backus, J.W., Bauer, F.L., Green, J., Katz, C., McCarthy, J., Perlis, A.J., Rutishauser, H., Samelson, K., Vauquois, B., Wegstein, J.H., van Wijngaarden, A., Woodger, M.: Report on the algorithmic language ALGOL 60. Commun. ACM 3(5), 299–314 (1960)
2. Backus, J.W., Diselets, P.H., Evans, D.C., Goodman, R., Huskey, H., Katz, C., McCarthy, J., Orden, A., Perlis, A.J., Rich, R., Rosen, S., Turanski, W., Wegstein, J.: Proposal for a programming language. Technical report, ACM Ad Hoc Committee on Languages (1958)
3. Backus, J.W., et al.: The FORTRAN automatic coding system for the IBM 704 EDPM. IBM (1956)
4. Bauer, F.L., Bottenbruch, H., Rutishauser, H., Samelson, K.: Proposal for a universal language for the description of computing processes. In: Computer Programming and Artificial Intelligence, pp. 355–373. University of Michigan Summer School (1958)
5. Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Comput. Surv. 17(4), 471–523 (1985)