Two Case Studies for Jazzyk BSM. - Michael Köster; Peter Novák 001; David Mainzer; Bernd Fuhrmann (AGS, 2009)