Jean Goubault-Larrecq, Julien Olivain. A Smell of Orchids.
Proceedings of the 8th Workshop on Runtime Verification (RV'08), volume 5289 of Lecture Notes in Computer Science, Budapest, Hungary, Springer., pp.1-20, 2008,
⟨10.1007/978-3-540-89247-2_1⟩.
⟨hal-03197297⟩