"Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic."

Udo W. Lipeck, Hans-Dieter Ehrich, Martin Gogolla (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics