The type and effect discipline (1992)

by Jean-pierre Talpin, Pierre Jouvelot
Venue:In Information and Computation