1. The Philosophy of Computer Science;Turner,2020
2. Computational Artifacts: Towards a Philosophy of Computer Science;Turner,2018
3. Notes on Data Structuring;Hoare,1972
4. Abstract Data Types: Specifications, Implementations, and Applications;Dale,1996
5. Software Development: A Rigorous Approach;Jones,1980