https://intlibrary.ir/download/formal-specification-and-verification-62344/