@workingPaper{BarthLoeckx_1976,
title={A few comments on a correctness proof of a program for the "McCarthy Airline" reservation system},
author={Barth, Wolfgang and Loeckx, Jacques},
doi={http://dx.doi.org/10.22028/D291-26425},
year={1976}
}