https://en.wikipedia.org/wiki/PlusCal

2022
https://www.haskellforall.com/2022/03/modeling-pluscal-in-haskell-using.html