Title: Platon: reference manual
First published: 1975