Rigorous Methods of Analysis and Synthesis - Boris Levin (Taylor and Francis, 2021)