3 books • 4 series
Book #26: Specification and Analysis of Concurrent Systems
Book #693: Congenital Heart Disease