Search results

Specification, and Verification of Interactive Systems. Springer. p. 136. ISBN 978-3540002666. Retrieved May 21, 2008. Prater, Edward L. (1994), Basic machines (PDF)...