The type and effect discipline. (1994)

by J-P Talpin, P Jouvelot
Venue:Information and Computation,