Home Obituaries Obituary: Miguel Ramos (1936-2018)