A typed semantics for languages with higher-order store and subtyping /
Schwinghammer, Jan.
University of Sussex.Computer Science.
Brighton : University of Sussex, Department of Informatics,
2005.