A Categorical Model for Higher Order Imperative Programming.

David A. Naumann A Categorical Model for Higher Order Imperative Programming. 351-399 1998 8 Mathematical Structures in Computer Science 4 db/journals/mscs/mscs8.html#Naumann98