James F. Peters, III
-
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae