7 books • 4 series
Book #1: Knowledge-based Software Development For Real-time Distributed Systems
Book #10: Hybrid Parallel Execution Model For Logic-based Specification Languages