Issue No. 04 - July (1982 vol. 8)
G.H. MacEwen , Department of Computing and Information Science, Queen's University, Kingston, Ont., Canada and Andyne computing Ltd.
G. MacEwen, "Correction to "Information Flow Certification Using an Intermediate Code Program Representation"," in IEEE Transactions on Software Engineering, vol. 8, no. , pp. 446, 1982.