https://intlibrary.ir/download/abstraction-and-specification-in-program-developme-78219/