Documents Savoirs The Kleene algebra of nested pointer structures [Elektronische Ressource] : theory and applications / vorgelegt von Thorsten Ehm Thorsten Ehm