[Kahn et al. 1981]

Kahn, K.C., et al., iMAX: A Multiprocessor Operating System for an Object-Based Computer. SOSP-8, 1981, pp. 127-136.

[Kaisler 1983]

Kaisler, S.H. The Design of Operating Systems for Small Computer Systems. John Wiley & Sons, New York, 1983.

[Kane 1986]

Kane, G. Guide to Popular Operating Systems. Scott Foresman, Glenview, IL, 1986.

[Karp 1983]

Karp, R.A. Proving Operating Systems Correct. UMI Research Press, Ann Arbor, MI, 1983.

[Kartashev & Kartashev 1982]

Kartashev, S.I. and Kartashev, S.P., A distributed operating system for a powerful system with dynamic architecture. NCC 1982, Vol. 51, pp. 103-116.

[Katzan 1986]

Katzan, H., Jr. Operating Systems, a Pragmatic Approach (second edition). Van Nostrand Rheinhold, New York, 1986.

[Kelly 1981]

Kelly, M.G. Percom's Doubler (review). BYTE, Vol. 6, No.7, July 1981, pp. 344-352.

[Kelly 1982]

Kelly, M.G. NEWDOS/80 Version 2.0 (Review). BYTE, Vol. 7, No. 6, June 1982, pp. 376-400.

[Kemeny & Kurtz 1968]

Kemeny, J.G., and Kurtz, J.G. Dartmouth Time Sharing. Science, Vol. 162, No. 3850, Oct. 11, 1968, pp. 223-228.

[Kemeny & Kurtz 1985]

Kemeny, J.G., and Kurtz, T.E. Back to Basic: the History, Corruption, and Future of the Language. Addison-Wesley, Reading, MA, 1985.

[Kemmerer 1982]

Kemmerer, R.A. Formal Verification of an Operating System Kernel. UMI Research Press, Ann Arbor, MI, 1982.

[Kenah & Bate 1984]

Kenah, L.J., and Bate, S.F. VAX/VMS Internals and Data Structures. Digital Press, Maynard, MA, 1984.

[Kepecs & Solomon 1985]

Kepecs, J., and Solomon, M. SODA: a Simplified Operating System for Distributed Applications. OSR, Vol. 19, No. 4, Oct. 1985, pp. 45-56.

[Kernighan & Ritchie 1978]

Kernighan, B., and Ritchie, D. The C Programming Language. Prentice-Hall, Englewood Cliffs, NJ, 1978.

[Kernighan & Pike 1984]

Kernighan, B., and Pike, R. The UNIX Programming Environment. Prentice-Hall, Englewood Cliffs, NJ, 1984.

[Kiely 1981]

Kiely, S.C. An Operating System for Distributed Processing -- DPPX. IBMSJ, Vol. 18, No. 4, 1979, pp. 507-525.

[Kilburn 1961]

Kilburn, T. The Manchester University Atlas Operating System. Part I: Internal Organization. CJ, Vol. 4, Oct. 1961, pp. 222-225.

[Kildall 1981]

Kildall, G. CP/M: A Family of 8 and 16-bit Operating Systems. BYTE Vol. 6, No. 6, June 1981, pp. 216-232.

[King 1983]

King, R.A. The IBM PC-DOS Handbook. SYBEX Inc., Berkeley, CA, 1983.

[Kinslow 1964]

Kinslow, H.A. The Time Sharing Monitor System. FJCC, Vol. 26, 1964, pp. 443-454.

[Kleinrock 1965]

Kleinrock, L. A Conservation Law for a Wide Class of Queueing Disciplines. Naval Research Logistics Quarterly, Vol. 12, No. 2, June 1965, pp. 181-192.

[Kleinrock 1970]

Kleinrock, L. A Continuum of Time-Sharing Scheduling Algorithms. SJCC 1970, Vol. 36, pp. 453-458.

[Kleinrock 1975]

Kleinrock, L. Queuing Systems. Volume I: Theory. John Wiley & Sons, New York, 1976.

[Kleinrock 1976]

Kleinrock, L. Queuing Systems. Volume II: Computer Applications. John Wiley & Sons, New York, 1976.

[Knuth 1973]

Knuth, D.K. The Art of Computer Programming, Vol. 1: Fundamental Algorithms (second edition). Addison-Wesley, Reading, MA, 1973.

[Kolya 1981]

Kolya, Y. DOSPlus: Double-Density Operating System for the TRS-80 (review). BYTE, Vol. 6, No. 7, July 1981, pp. 334-343.

[Kornstein 1983]

Kornstein, H. Concurrent CP/M-86 and recent advances in Operating Systems. MP&MS, Vol. 7 No. 8, Oct. 1983, pp. 391-393.

[Koudela 1973]

Koudela, J., Jr. The Past, Present, and Future of Minicomputers: A Scenario. PROC IEEE, Vol. 61, No. 11, Nov. 1973, pp. 1526-1534.

[Krejci 1971]

Krejci, H. RSX-15 Real-Time Executive. DECUS, Spring 1971, pp. 67-72.

[Kurzban 1975]

Kurzban, S.A., Heines, T.S., and Sayers, A.P. Operating Systems Principles. Petrocelli-Charter, New York. 1975.