Title: PPM star catalogue
First published: 1993