The type and eect discipline (1994)

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