Temporal logic in specification - Banieqbal B Ed.; Barringer H Ed.; Pnueli A Ed. (Berlin Springer Verlag, 1989)
Keywords: Database