(1)
Hostomský, S.; Jelínek, I. A Formal Design Method.
Acta Polytech
2000
,
40
(3).
https://doi.org/10.14311/82
.