1. Talpin, J., Jouvelot, P.: The type and effect discipline. In: Proc. of LICS 1992, pp. 162–173. IEEE, Los Alamitos (1992)
2. Marriott, K., Stuckey, P., Sulzmann, M.: Resource usage verification. Technical report, University of Melbourne (2003),
http://www.cs.mu.oz.au/~pjs/ruv.ps.gz
3. Sudkamp, T.: Languages and Machines. Addison-Wesley, Reading (1988)
4. Schneider, F.B.: Enforceable security policies. Information and System Security 3, 30–50 (2000)
5. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. of POPL 1977, pp. 238–252. ACM, New York (1977)