On automating process algebra proofs door H.P. Korver