Mathematical Foundations of Computer Science | Revista