@inproceedings{DBLP:conf/adt/Loeckx86, author = {Jacques Loeckx}, title = {The Specification Language OBSCURE}, booktitle = {ADT}, year = {1986}, bibsource = {DBLP, http://dblp.uni-trier.de} }