@book{Roussarie2017, author = {Roussarie, Laurent}, year = {2017}, isbn = {978-1-977891-54-9 (Softcover US)}, language = {fre}, copyright = {http://creativecommons.org/licenses/by/4.0/}, title = {Sémantique formelle}, url = "http://dx.doi.org/10.17169/refubium-25225", }