Title: The correctness of a precedence parsing algorithm in LCF