[mtdewcmu]

I'm going to speculate that it's less necessary for operating systems, because the equivalent information for OS has found its way into textbooks.