@workingPaper{HecklerHettlerHussmannLoeckxReifSchellhornStenzel_1996,
title={LEX  : a case study in development and validation of formal specifications},
author={Heckler, Andreas Ramses and Hettler, Rudolf and Hussmann, Heinrich and Loeckx, Jacques and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt},
doi={http://dx.doi.org/10.22028/D291-25803},
year={1996}
}