id: 00054330 dt: b an: 00054330 au: Cherry, George W. ti: Software construction by object-oriented pictures. Specifying reactive and interactive systems. so: Chichester, West Sussex: Wiley. 204 p. \sterling 24.50 (1991). py: 1991 pu: Chichester, West Sussex: Wiley la: EN cc: ut: ci: li: