Theorem Proving in Type Theory. - Peter B. Andrews; Eve Longini Cohen (IJCAI, 1977)

A Look at TPS. - Dale A. Miller; Eve Longini Cohen; Peter B. Andrews (CADE, 1982)