- Author: Gregory R.T. Krishnamurthy E.V
- Language: English
- Year: 1984
- Author: Kfoury A. J., Arbib Michael A., Moll Robert N
- Language: English
- Year: 1982
- Author: Robert N. Moll Michael A. Arbib A.J. Kfoury James Pustejovsky
- Language: English
- Year: 1988
- Author: Manes Ernest G., Arbib Michael A
- Language: English
- Year: 1986
- Author: Kfoury A. J., Arbib Michael A., Moll Robert N
- Language: English
- Year: 1982
- Author: Paton Norman W (eds)
- Language: English
- Year: 1999
- Author: Kfoury A. J., Arbib Michael A., Moll Robert N
- Language: English
- Year: 1981
- Author: Hehner Eric C. R
- Language: English
- Year: 1993
- Author: Ronald V. Book Friedrich Otto
- Language: English
- Year: 1993
Specification and development of interactive systems: focus on streams, interfaces, and refinement
djvu
- Author: Manfred Broy Ketil Stølen
- Language: English
- Year: 2001