A categorical model for higher order imperative programming (1998)

by David A Naumann
Venue:Mathematical Structures in Computer Science