José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río: Specification of Logic Programming Languages from Reusable Semantic Building Blocks. WFLP 2001: 220-233