Concerned with the unprivileged: user programs in kernel refinement. - Matthias Daum 001; Nelson Billing; Gerwin Klein (Formal Aspects Comput., 2014)