Lima Time' is forever - by Dan Good - Good Stuff
Jose Lima, Colorful and Popular Pitcher, Dies at 37 - The New York
Jamie Moyer - Wikipedia
The Astros Daily - In Memory of José Lima
Jose Lima, former major league pitcher, dies at 37 – The Denver Post
Who is the tallest baseball player of all times? - Quora
Jose Lima, Former Major League Pitcher, Dies at 37 - WSJ
Renowned fashion designer Jenny Polanco dies of coronavirus
Jose Lima, former major league pitcher, dies at 37 - The San Diego
Former MLB Pitcher Jose Lima Dies at Age 37