Thomas Michael Rigles

1949

• The symbolic semantics of programming languages