@workingPaper{Loeckx_1985,
title={A formal description of the specification language OBSCURE},
author={Loeckx, Jacques},
doi={http://dx.doi.org/10.22028/D291-26431},
year={1985}
}