Formální metody zpracování dokumentace lidových staveb - Mišurec, Zdeněk