国際化 / 日本語化Sakai
Milner's paper
Theory of Objects
j
Miniml
Compiler Construction with ML