Tests and Proofs - Frédéric Loulergue; Wotawa, Franz (Springer International Publishing, 2021)