Taming of Pict. - Matej Kosík (SOFSEM, 2008)

A Contribution to Techniques for Building Dependable Software Systems. - Matej Kosík; Jirí Safarík (ECBS-EERC, 2011)