Mandrioli, Dino and Ghezzi, Carlo Theoretical Foundations of Computer Science - New York John Wiley & Sons 1987 - 478 ISBN: 0471859184 Publisher. No.: Campus Book Stores Subjects--Personal Names: Computer Science Subjects--Topical Terms: Computer Science