Verified Code Generation for Embedded Systems. - Sabine Glesner; Rubino Geiß; Boris Boesler (COCV@ETAPS, 2002)

Codeerzeugung mit Graphersetzung und Lösungsgraphen. - Boris Boesler (2005)