Formal Aspects of Computing | Revista