Logics for Specifying Concurrent Information Systems (1998)

by H-D Ehrich, C Caleiro, A Sernadas, G Denker
Venue:Logics for Databases and Information Systems