Autor:	O'Hearn, P.W., Power, A.J., Takeyama, M., Tennent, R.D.
Zdroj:	Theoretical Computer Science; 1999, Vol. 228 Issue: 1 p211-252, 42p
Databáze:	Supplemental Index
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect