Proving the Shalls.

Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl

Browse the full FM paper archive.