and Andrzej Trybulec. A mathematical model of CPU (1992)

by Yatsuka Nakamura
Venue:Journal of Formalized Mathematics