3 works on record
Time-varying systems and computations
1998
Models for large integrated circuits
1990
Computer Systems and Software Engineering