@inproceedings{altenkirch_observational_2007,
	address = {Freiburg Germany},
	title = {Observational equality, now!},
	isbn = {9781595936776},
	url = {https://dl.acm.org/doi/10.1145/1292597.1292608},
	doi = {10.1145/1292597.1292608},
	language = {en},
	urldate = {2024-01-17},
	booktitle = {Proceedings of the 2007 workshop on {Programming} languages meets program verification},
	publisher = {ACM},
	author = {Altenkirch, Thorsten and McBride, Conor and Swierstra, Wouter},
	month = oct,
	year = {2007},
	pages = {57--68},
}