CONSTRUCTIVE METHODS IN COMPUTING SCIENCE - BROY,MANFRED (ED) (SV BERLIN, 1989)
BR-964