Formula:1008

From MaRDI portal