@inproceedings{Ada-2002-Siara,
	author        = "Reinhard Siara",
	booktitle     = "{Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 6. bis 8. März 2002, Jena, Friedrich-Schiller-Universität}",
	isbn          = "3-8265-9956-X",
	pages         = "147--151",
	publisher     = "{Shaker Verlag}",
	title         = "{Ada trifft Algebra}",
	year          = 2002,
}