Florida key lime by John Spottiswood.

These are smaller and more acidic than the more common Persian limes.

Also known as

limes (Many cooks prefer freshly squeezed Persian lime juice over bottled key lime juice for key lime pies.)