Mathematical Foundations of Computing

Journal