Modeling in Event-B: System and Software Engineering
Constraint Handling Rules
Functional Programming Using F#
Steps in Scala: An Introduction to Object-Functional Programming
Python for Software Design: How to Think Like a Computer Scientist
