High integrity compilation : a case study /
Stepney, Susan,1958-
Hemel Hempstead : Prentice Hall,
1993.