@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},
pages = {154--168},
year = {2005},
venue = {Montego Bay, Jamaica}
}