Baratt-Priddy-Quillen

#todo/untagged #todo/add-references