https://bookem.ir/books/2247995-Algebraic-Specification-of-Communication-Protocols