Displaying similar documents to “Formalizing Business Process Specifications”