Formal specification of image processing primitives in a functional language.

Ian Poole, Derek Charleston

Browse the full ICPR paper archive.