HeadREST: A Specification Language for RESTful APIs. - Vasco T. Vasconcelos; Francisco Martins; Antónia Lopes; Nuno Burnay (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Statically Checking REST API Consumers. - Nuno Burnay; Antónia Lopes; Vasco T. Vasconcelos (SEFM, 2020)

SafeRESTScript: Statically Checking REST API Consumers. - Nuno Burnay; Antónia Lopes; Vasco T. Vasconcelos (CoRR, 2020)