@inproceedings{ICRE-1993-FenselAS,
	author        = "Dieter Fensel and Jürgen Angele and Rudi Studer",
	booktitle     = "{Proceedings of the Joint Conference on Requirements Engineering: Prototyping}",
	isbn          = "3-519-02682-1",
	pages         = "267--286",
	publisher     = "{Teubner}",
	series        = "{Berichte des German Chapter of the ACM}",
	title         = "{Giving Structured Analysis Techniques a Formal and Operational Semantics with KARL}",
	volume        = 41,
	year          = 1993,
}