Warnier, Jean-Dominique La transformación de los programas: Síntesis de programación lógica - 1976 Dewey Class. No.: 001.6425 / WARM/W