Ein Ansatz zur Typanalyse einer interaktiven Sprache zum Software Prototyping. - Jörn Thomas Kaule (1992)