Scott D. ...


Scott D.
[1976]
Data types as lattices
SIAM J. Comput., 5, № 3, 522-587
77.B11.937
article

Вернуться к поиску