Formal system specification and testing of image processing/computer vision algorithms. - Andrew C. Segal; John Quintas; Robert Kero; Richard Greene; Gregory H. Chisholm (Device-Independent Color Imaging and Imaging Systems Integration, 1993)