Mechanisms to Map Correct Occam3 Constructs in Ada World

Nekkache, M., M. Aliouat and L. Frecon

International Journal of Soft Computing 1 ( 3 ): 181 - 183 , 2006