Jan F. Prins · 1 obras en el catálogoObrasCCorrectness proofs of APALI programsCorrectness proofs of APALI programs1986