Gil Slater

• Mathematical structures for software engineering
• Mathematics of software construction