Boolean differential operators | Publicación