"Pterodon Software"@cs .