Robert Cartwright
-
Algorithmic specifications: a constructive specification method for abstract data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Type Theory of PL/CV3