https://123dok.net/document/z1dw7mpp-random-testing-for-higher-order-stateful-programs.html