Schmolze, J.G. The language and semantics of NIKL. Technical Report 89-4, Tufts University Department of Computer Science, September 1989.

Languages mentioned

• NIKL {1986}