Carlos Areces

Existe muchísimo material sobre lógica temporal y temáticas afines en la página personal de Carlos Areces.