The Austin Protocol Compiler (Springer US, 2020)