Amilcar Sernadas;Cristina Sernadas
Univ. de Lisboa, Lisbon, Portugal;Univ. de Lisboa, Lisbon, Portugal
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)