Modale Logiken von geflechtartigen Datenstrukturen und ihre Kombination mit temporaler Programmlogik. - Andreas Kausche (1989)