Implementing SDL in occam. - L. A. Crutcher; M. H. Barton (Softw. Eng. J., 1988)