SML+MSC: add BibTeX entry to readme