Jan Scheffczyk Christiane Stutz Uwe M. Borghoff Johannes Siedersleben Formale Konsistenzsicherung in informellen Software-Spezifikationen. 17-29 2004 19 Inform., Forsch. Entwickl. 1 http://dx.doi.org/10.1007/s00450-004-0161-9 db/journals/ife/ife19.html#ScheffczykSBS04