Manfred Broy: Software technology - formal methods and scientific foundations. Inf. Softw. Technol. 41(14): 947-950 (1999)