Strictness and totality analysis (1998)

by Kirsten Lackner Solberg Gasser, Hanne Riis Nielson, Flemming Nielson
Venue:Sci. Comput. Prog