Carette, Jacques2019-04-302024-07-022019-04-302024-07-022013978-3-642-39320-4https://drs.ess.gov.et/handle/123456789/65193enMKM, Calculemus, DML, and Systems and Projects 2013Held as Part of CICM 2013Bath, UK, July 8-12, 2013ProceedingsBook