@inproceedings{altenkirch-mcbride-swierstra:ott-now,
	Author = {Thorsten Altenkirch and Conor McBride and Wouter Swierstra},
	Booktitle = {PLPV'07: Proceedings of the Programming Languages meets Program Verification Workshop},
	Title = {Observational Equality, Now!},
        Location = {Freiburg, Germany},
	Year = {2007}}