Sur la description et la vérification de processeurs microprogrammables — Alberto Ruiz de Olano y Ruiz de Larrea