The owl and the electric encyclopedia
John Haugeland -- "Semantic Engines"
The Semantics of Clocks
The Limits of Correctness
