Andrea Masini, Luca ViganĂ², Marco Volpe. A History of Until. Electronic Notes in Theoretical Computer Science, 262:189-204, 2010. [doi]
@article{MasiniVV10, title = {A History of Until}, author = {Andrea Masini and Luca ViganĂ² and Marco Volpe}, year = {2010}, doi = {10.1016/j.entcs.2010.04.014}, url = {http://dx.doi.org/10.1016/j.entcs.2010.04.014}, tags = {history}, researchr = {https://researchr.org/publication/MasiniVV10}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {262}, pages = {189-204}, }