1. Foundations of Constructive Mathematics;Beeson,1985
2. Domain representation of streams;Blanck,1998
3. Domain representations of partial functions, with applications to spatial objects and constructive volume geometry;Blanck;Theoretical Computer Science,2002
4. Methods of Mathematical Physics, Vol. II;Courant,1953
5. Technology for modelling: Electrical Analogies, Engineering Practice, and the Development of Analogue Computing;Clare,2010