Bret Hartman A General Approach to Tranquility in Information Flow Analysis. 166-181 1988 CSFW db/conf/csfw/csfw1988.html#Hartman88