Title: Platon: user's manual
First published: 1976