Formal description of program structure and semantics in firstorder logic (1969)

by R M Burstall
Venue:Machine Intelligence