Bastiaan Heeren. Top quality type error Messages. PhD thesis, Utrecht University, Netherlands, 2005. [doi]
@phdthesis{basesearch-252, title = {Top quality type error Messages}, author = {Bastiaan Heeren}, year = {2005}, url = {https://www.base-search.net/Record/632fdb05c249dc84d2e35471bf7c86170e7fac8752fb6d6fff08ea7e606ae1a8}, note = {base-search.net (ftunivutrecht:oai:dspace.library.uu.nl:1874/7297)}, researchr = {https://researchr.org/publication/basesearch-252}, cites = {0}, citedby = {0}, school = {Utrecht University, Netherlands}, }