Software Foundations Vol 2: Programming Language Foundations Software engineering

Software Foundations Vol 1: Logical Foundations Software engineering