cite the original tech report rather then the reprint#32

marklemay wants to merge 1 commit intomichaelt:mastermichaelt/martin-lof:masterfrom

marklemay:patch-1marklemay/martin-lof:patch-1Copy head branch name to clipboard