How Upper Deck did the '70s
Jose Lima, former All-Star right-hander, dies at 37 in Los Angeles
Popular former Astros pitcher Lima dies at age 37
Former MLB Pitcher Jose Lima Dies at Age 37
2015 Baseball Media Guide by Alabama Crimson Tide - Issuu
Pitcher Jose Lima dead at 37
The Astros Daily - In Memory of José Lima
2021 Norfolk Tides Media Guide by NorfolkTides - Issuu
Joy of a team set, update 18 (putting the '88 Dodgers to bed)
I'll go over the moon only once
Former MLB Pitcher Jose Lima Dies at Age 37