Verified Parallel String Matching in Haskell | Publicación