SPECIFICATION TESTS FOR LATTICE PROCESSES | Publicación