https://intlibrary.ir/download/abstraction,-refinement-and-proof-for-probabilisti-89347/