"Gotholda Efraima Lessinga"@cs .