HeadREST: A Specification Language for RESTful APIs.

Published in: Models, Languages, and Tools for Concurrent and Distributed Programming (2019)