https://9lib.org/document/qvl116ry-adaptive-sequential-gridding-procedures-abstraction-verification-stochastic-processes.html