The PROPT manual is available here.

Further publications will be added in the future.