DiPS: A Unifying Approach for Developing System Software (2001)

by S Michiels, F Matthijs, D Walravens, P Verbaeten
Venue:University of Karlsruhe, IEEE Computer Society