Proceedings 31st annual symposium on foundations of computer science Vol. 1-2 - 881 p 27 cm Contine bibliografie