Cruz, J. Edmund D. Pellegrino (1920-2013). RIB 2018, 01-05.