Reynolds, John C.1935 · 3 obras en el catálogoObrasAlgebraic methods in semanticsThe craft of programming1981Theories of programming languages1998