@book{
183-016180372,
title = {On first order temporal logics with changing domains for information system specification},
series = {},
series = {89-01},
author = {Saake, Gunter},
address = {Braunschweig},
publisher = {TU., Inst. f. Betriebssysteme u. Rechnerverbund},
year = {1989},
language = {Undetermined},
url = {https://katalog.fid-bbi.de/Record/183-016180372}
}