http://d-nb.info/gnd/http://www.dcc.fc.up.pt/~jpp/JPP/

used by 0: