Ada and C
Zensho Nakao, Masaya Kinjo, Masahiro Nakama · ACM SIGAda Ada Letters · 1993
Some fundamental differences between Ada and C as the language for operating system description are listed up, specifically, those differences observed in translating the C-based MINIX operating system into Ada are collected; there are also given concrete illustrative program examples.