António L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho: Verification and Testing of S-ER Representations. ER 1981: 123-147