Hideki Tsuiki A Computationally Adequate Model for Overloading via Domain-Valued Functors. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1998, v:8, n:4, pp:321-349 [Journal]
David A. Naumann A Categorical Model for Higher Order Imperative Programming. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1998, v:8, n:4, pp:351-399 [Journal]