Supporting formal program developments: the DEVA environment 
Stefan Jähnichen ... 
 - 15 S.  Ill. 
 - TR / International Computer Science Institute  89,53 .
 -  1989053 .
 - International Computer Science Institute  Berkeley, Calif.  TR / International Computer Science Institute  1989053 .
 - .