Lombardi, Davide, Dounas, Theodoros, Cheung, Lok Hang, Jabi, Wassim, "Blockchain grammars for validating the design process.", Blucher design proceedings, 2020