The Theaetetus of Plato: a revised text and English notes - Πλάτων, 427-347 π.Χ. (Clarendon, 1883)