Alexander Bunkenburg, Sharon Flynn. Expression Refinement: Deriving Bresenham's Algorithm. In Kevin Hammond, David N. Turner, Patrick M. Sansom, editors, Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994. Workshops in Computing, pages 1-17, Springer, 1994. [doi]
Abstract is missing.