Mathematical Foundations Of Computer Science 2007 door