Program Algebra for Component Code. - Jan A. Bergstra; M. E. Loots (Formal Aspects Comput., 2000)

Program algebra for sequential code. - Jan A. Bergstra; M. E. Loots (J. Log. Algebraic Methods Program., 2002)