Foundations of Algebraic Specification and Formal Software Development - Donald Sannella and Andrzej Tarlecki
Organisationen im Spannungsfeld von Stabilitat und Dynamik - Analyse dynamischer Fahigkeiten als Innovationsroutinen in verschiedenen Organisationsstrukturtypen anhand formaler Strukturelemente - [Dissertation]
Organisationen im Spannungsfeld von Stabilitat und Dynamik - Analyse dynamischer Fahigkeiten als Innovationsroutinen in verschiedenen Organisationsstrukturtypen anhand formaler Strukturelemente - [Dissertation]
Formal Refinement for Operating System Kernels - Iain D. Craig