Contributors to books-programmingLanguages-programmingLanguagesChProofLangs
BayleShanks