Bogmos
Frieze Patterns (Course M336)
Someone Has To Die Volume Two - The E-Book
Specification and Design of Concurrent Systems
