Theoretical Computer Science, Volume 12

Volume 12, 1980