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

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