Algebraic semantics of imperative programs by Goguen, J. A., Malcom, G. fromFoundations of computing series 0 Type: Book
