Second-Order Principles in Specification Languages for Object-Oriented Programs.

Bernhard Beckert Kerry Trentelman Second-Order Principles in Specification Languages for Object-Oriented Programs. 154-168 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_12 db/conf/lpar/lpar2005.html#BeckertT05