Business Process Management: A Rigorous Approach is a comprehensive textbook that provides a rigorous and formal approach to BPM. This book covers various BPM concepts, including process modeling, process analysis, and process improvement. It also introduces mathematical models and formal methods for analyzing and optimizing business processes. With its academic approach and practical examples, this book is suitable for students and researchers interested in the theoretical foundations of BPM.