Book reviews

Autor: Denvir, Tim, Rawlings, Rosamund, Parke, Tom, Goldsack, S. J., Hall, Anthony
Zdroj: Formal Aspects of Computing; March 1990, Vol. 2 Issue: 1 p196-202, 7p
Databáze: Supplemental Index