José Luiz Fiadeiro;Amílcar Sernadas;Cristina Sernadas
-;-;-
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)