"David J.C. MacKay"@cs .