Tannen, Val; Subrahmanyam, R. "Logical and Computational Aspects of Programming with Sets/Bags/Lists" Proceedings of 18th International Colloquium on Automata, Languages, and Programming LNCS 510 1991

(1991)

Languages mentioned