Model-Theoretic Specifications and Back-and-Forth Equivalences. - Gianfranco Mascari; Antonio Vincenzi (ADT, 1990)