The type and effect discipline. Pages 162–173 of (1992)

by J-P Talpin, P Jouvelot
Venue:Seventh annual IEEE symposium on Logic in computer science