25 citations · 290 across the 54 of their papers we have counts for
1 paper · 2 filters
J. A. Bergstra, C. A. Middelburg
In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on instruction sequences are paid attention to: instruction sequence congruence, str…