1
Object-Oriented Programming Languages: Interpretation [E-Book] /
2
Formal Refinement for Operating System Kernels [E-Book] /
3
Formal Models of Operating System Kernels [E-Book] /