25 citations · 290 across the 54 of their papers we have counts for
1 paper · 2 filters
J. A. Bergstra, C. A. Middelburg
A parameterized algebraic theory of instruction sequences, objects that represent the behaviours produced by instruction sequences under execution, and objects that represent the b…