An Informal History of the Writing of
Reasoning About Parallel Architectures (RAPA)
and of the Development of ARCHTEST