Building exact computation sequences
See the review of the preliminary version [Lect. Notes Comput. Sci. 214, 45-59 (1986)] in Zbl 0605.68019.
scientific article; zbMATH DE number 4016184
scientific article