TY  - GEN
AU  - Hennie  F C
TI  - Finite state models for logical mach
PY  - 0000///
CY  - 
PB  - John Wiley
ER  -