The LMI K-Machine was a Lisp Machine that was the successor to the LMI Lambda.  It was an early casualty of the AI Winter.  Here is a collection of K-Machine related documents. I left LMI when it went bankrupt and was bought out by Gigamos. Gigamos continued to develop the code, so it is difficult to pull out the early stuff (which I am proud of) from the later stuff (which I was uninvolved with).

• K-Machine Architecture Overview
• K-Machine Benchmarks
• K-Machine Cheat Sheet 
• K-Machine Technical Reference Manual

• Addendum to Continuations from Generalized Stack Inspection - How to do first-class continuations on a virtual machine that doesn't allow stack introspection.
• ChangeSafe
• Simple Sabotage
• SYNTAX-RULES Primer for the Merely Eccentric
• An Unexceptional Implementation of First-class Continuations
• Warp Speed Introduction to CLOS

Obituaries