SML# in industry: a practical ERP system development. - Atsushi Ohori; Katsuhiro Ueno; Kazunori Hoshi; Shinji Nozaki; Takashi Sato; Tasuku Makabe; Yuki Ito (ICFP, 2014)