_id,doi,title
9040,10.34727/2020/isbn.978-3-85448-042-6_21,Formal methods with a touch of magic