Klaus Achatz Wolfram Schulte Formale objektorientierte Softwareentwicklung mit Fox. 174-185 1997 12 Inform., Forsch. Entwickl. 4 db/journals/ife/ife12.html#AchatzS97