@inproceedings{Cas93,
title = {Lucid {S}ynchrone },
author = {Caspi, Paul},
month = {novembre},
year = {1993},
booktitle = {Actes du colloque INRIA OPOPAC, Lacanau},
publisher = {HERMES},
team = {SYNC},
}