@InProceedings{Beckert:LPAR05-154,
  author =       "Bernhard Beckert and Kerry Trentelman",
  title =        "Second-Order Principles in Specification Languages for
                 Object-Oriented Programs",
  year =         "2005",
  pages =        "154--168",
  ee =           "http://dx.doi.org/10.1007/11591191_12",
  URL =          "http://www.uni-koblenz.de/~beckert/pub/lpar2005.pdf",
  editor =       "Geoff Sutcliffe and Andrei Voronkov",
  booktitle =    "Logic for Programming, Artificial Intelligence, and
                 Reasoning, 12th International Conference, {LPAR} 2005,
                 Montego Bay, Jamaica, December 2--6, 2005, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3835",
  ISBN =         "3-540-30553-X",
}