https://bookem.ir/books/2199840-Abstraction-and-Specification-in-Program-Development