A hardware semantics based on temporal intervals (1983)

by LCF LSM
Venue:University of Cambridge Computer Laboratory