A Formal Design Method
JELÍNEK, I. A Formal Design Method. In: FIALA, P. and L. SMRČEK, eds. Proceedings of the First International Conference on Advanced Engineering Design. 1st. International Conference on Advanced Engineering Design, Praha, 1999-05-31/1999-06-02. Praha: Czech Technical University in Prague, 1999. p. 117-118. ISBN 80-01-02055-X.