@article{alpuim_embedding_2018,
	title = {Embedding the refinement calculus in {Coq}},
	volume = {164},
	issn = {01676423},
	url = {https://linkinghub.elsevier.com/retrieve/pii/S0167642317300710},
	doi = {10.1016/j.scico.2017.04.003},
	language = {en},
	urldate = {2024-01-17},
	journal = {Science of Computer Programming},
	author = {Alpuim, João and Swierstra, Wouter},
	month = oct,
	year = {2018},
	pages = {37--48},
}