Specification tools and implementation techniques : (FOTOKOPIJA) - Borufka, H. G. (Technische Hochschule, 1970)