BFOM - Bases Formales de la Computación