O'Donnell, Michael J.1952 · 5 obras en el catálogoObrasComputing in systems described by equations1977Constructivity in computer sciencePenance in the early churchEquational logic as a programming languageAAn ordinary familyAn ordinary family