Documentation: update Michael K. Johnson's work