Formalization of programming concepts : international colloquium, proceedings, Penisola, Spain, April 19-25, 1981 - Backus, John (rz1, 1981)