What Every Computer Scientist Should Know About www.itu.dk/~sestoft/…