Ian Poole, Derek Charleston. Formal specification of image processing primitives in a functional language. In 12th IAPR International Conference on Pattern Recognition, Conference A: Computer Vision & Image Processing, ICPR 1994, Jerusalem, Israel, 9-13 October, 1994, Volume 1. pages 539-542, IEEE, 1994. [doi]
Abstract is missing.