Akira Maruoka Masayuki Kimura 52-86 Information and Control September 1977 35 1 http://theory.lcs.mit.edu/~iandc/ic77.html