Ada-based abstract machine specification of CAIS to generate validation tests. - Timothy E. Lindquist; Jeffrey L. Facemire (WADAS, 1985)