Automation of the Finite Element Method by J. Korelc