B. RovanBooksPhysics and Theoretical Computer ScienceMathematical foundations of computer science 1994Author data: Open Library