Information Flow Certification Using an Intermediate Code Program Representation. - Allan L. Mennie; Glenn H. MacEwen (IEEE Trans. Software Eng., 1981)