5 works on record
Reflections on Programming Systems
Computing with Foresight and Industry
The Realism-Antirealism Debate in the Age of Alternative Logics
On the Foundations of Computing
Information and Knowledge
