TY - BOOK AU - Ording TI - 99 Variations on a Proof PB - IEEE UR - https://ieeexplore.ieee.org/servlet/opac?bknumber=9453393 ER -