Formal methods in architecture and urbanism
научное издание