Straight-line instruction sequence completeness for total calculation on cancellation meadows
scientific article; zbMATH DE number 5899598
scientific article