Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi: A Deductive Database Support to the Specification of Concurrent Systems. SOFSEM 1996: 309-316