5 books • 3 series
11th Hour Audio Productions Audio Anthology, Vol. 1
The B-Method (Cornerstones of Computing)
Modelling & Analysis of Security Protocols
Concurrent and Real-time Systems (Worldwide Series in Computer Science)
That's All Folks! (Owl Books)