@book{LG86,
  author = "Liskov, Barbara and Guttag, John",
  title = "{Abstraction and Specification in Program Development}",
  publisher = "The MIT Press",
  isbn = "0262121123",
  year = "1986",
}