@book{Bird76:Programs,
  title = "Programs and Machines",
  author = "Richard Bird",
  year = "1976",
  publisher = "Wiley",
}