@phdthesis{thesis,
  title = "Formal Relationships in Sequential Object Systems",
  author = "Eric Kerfoot",
  year = "2010",
}