Michel Bidoit. Recent Development of the PLUSS Specification Language. In ADT. 1988.
@inproceedings{Bidoit88, title = {Recent Development of the PLUSS Specification Language}, author = {Michel Bidoit}, year = {1988}, researchr = {https://researchr.org/publication/Bidoit88}, cites = {0}, citedby = {0}, booktitle = {ADT}, }