Hasuo. Metamathematics for Systems Design. Springer Nature, 2017, doi:10.1007/s00354-017-0023-1.