MIA e REC são o que chamamos de códigos IATA. IATA é a sigla da Associação Internacional de Transportes Aéreos e os códigos IATA são usados por companhias aéreas de todo o mundo para identificar aeroportos. Neste caso, MIA significa Aeroporto de Miami e REC significa Aeroporto de Recife Guararapes Intl.