Specification, transformation, and programming of concurrent systems in rewriting logic | Publicación