Added the references noted in 5.3