Context-free insertion–deletion systems | Publicación