KASH: Recent Developments. - Sebastian Freundt; Aneesh Karve; Anita Krahmann; Sebastian Pauli (ICMS, 2006)

Symbolic Computation Software Composability. - Sebastian Freundt; Peter Horn; Alexander Konovalov 001; Steve Linton; Dan Roozemond (AISC/MKM/Calculemus, 2008)