Mathematical Foundations of Computer Science 2001 nidottuEnglanti, 2001