Contributors to books-programmingLanguages-programmingLanguagesPartFormal
BayleShanks