Software catalogue for Stefan Ritt