E. Robles, «PUERTO PANCHO», at, n.º 453-454, p. 101, jun. 1987.