Description of Operating Systems using Very-High-Level Diction (Programming Languages). - Gavriel Leshem (1984)