Mathematical Foundations Of Computer Science door Dan A. Simovici, Mogens Nielsen & Branislav Rovan