Albano, Antonio; Cardelli, Luca and Orsini, Renzo "A strongly typed, interactive conceptual language" Tech. Rep. Internal Technical Document Services, AT&T Bell Laboratories, Murray Hill, N.J. 1983.

Languages mentioned

• Galileo {1983} interactive, strictly-typed data base programming language