Machine generated authority record.
Work cat.: (OSt)0: Oliveira, Suely, author. 15638, Building proofs :