Modale Logiken von geflechtartigen Datenstrukturen und ihre Kombination mit temporaler Programmlogik - Kausche, Andreas (Technická univerzita, 1989)