Mathematical Foundations of Computer Science 2005
scientific article; zbMATH DE number 5065373