Formal methods in system design (Springer New York, 1992)
Keywords: elektronické časopisy; výpočetní technika; Strojírenství