Types to the rescue: verification of REST APIs Consumer Code - Burnay, Nuno Miguel Pereira (2019)