Specification and Design of a Quasi-Delay-Insensitive Java Card. - Fu-Chiung Cheng; Chuin-Ren Wang (VLSI Design, 2000)