Typed lambda-terms in categorical attributed graph transformation - Bertrand Boisvert; Louis Féraud; Sergei Soloviev 001 (AMMSE, 2011)

Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification. - Bertrand Boisvert; Louis Féraud; Sergei Soloviev 001 (MODELSWARD, 2013)