Felix Cornelius

• Mathematisch-strukturelle Grundlagen der Informatik
• A semantical reference model for the integration of different dimensions of distributed system specifications