Type and effect systems (1999)

by F Nielson, H Nielson
Venue:Correct System Design