No se encontró "operational semantics". Parece que esa forma no existe