Oulie
Formal methods and models for system design by Rajesh Kumar Gupta — Oulie