GRALPLA: An algebraic Specification Language for Interactive graphic Systems el 30 de Noviembre del 2018