10401 Karsten Schmidt: Ein Verfahren zur Verifikation von "Immer mo''glich"-
und "Mo''glich, das'' immer"-Eigenschaften. Internet ca. 1995, 7p.