Verifying Knowledge-Based Systems Using the COVER Tool. - Alun D. Preece; R. D. Bell; Ching Y. Suen (IFIP Congress (3), 1992)

Drum-boiler dynamics. - Karl Johan Åström; R. D. Bell (Autom., 2000)