@InProceedings{BeckertTrentelman05, author = {Bernhard Beckert and Kerry Trentelman}, title = {Second-Order Principles in Specification Languages for Object-Oriented Programs}, booktitle = {12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning}, editor = {G. Suttcliff and A. Voronkov}, publisher = {Springer}, series = {LNCS}, volume = {3835}, page = {154--168}, year = {2005}, place = {Montego Bay, Jamaica} }