File:Formal Aspects of Computing.jpg