Program algebra with unit instruction operators

Bergstra, 2000, Program algebra for component code, Formal Aspects of Computing, 12, 1, 10.1007/PL00003928 Bergstra, 2002, Program algebra for sequential code, J. Logic Algebr. Programming, 51, 125, 10.1016/S1567-8326(02)00018-8 Bracha, 2000 Cleaveland, 2001, Equivalence and preorder checking for finite-state systems, 391 Kernighan, 1988 Park, 1981, Concurrency and automata on infinite sequences, 167