25 citations · 637 across the 113 of their papers we have counts for
1 paper · 2 filters
J. A. Bergstra, C. A. Middelburg
In previous work carried out in the setting of program algebra, including work in the area of instruction sequence size complexity, we chose instruction sets for Boolean registers…