Formas computables. García Asensio en el Centro de Cálculo (1969-1970)