Richard Stocker Maarten Sierhuis Louise A. Dennis Clare Dixon Michael Fisher A Formal Semantics for Brahms. 259-274 2011 CLIMA http://dx.doi.org/10.1007/978-3-642-22359-4_18 conf/clima/2011 db/conf/clima/clima2011.html#StockerSDDF11