@incollection{Bird90:Small,
  title = "Small Specification Exercises",
  author = "Richard S. Bird",
  year = "1990",
  booktitle = "Beauty is our Business",
  editor = "W. H. J. Feijen and A. J. M. van Gasteren and D. Gries and J. Misra",
  pages = "36--43",
  publisher = "Springer-Verlag",
}