System Description of LAMBDALG - A Higher Order Algebraic Specification Language. - Yexuan Gui; Mitsuhiro Okada (LPAR, 1993)

LAMBDALG: Higher Order Algebraic Specification Language. - Yexuan Gui; Mitsuhiro Okada (RTA, 1993)

Experiences in Deploying Model-Driven Engineering. - Thomas Weigert; Frank Weil; Kevin Marth; Paul Baker; Clive Jervis; Paul H. Dietz; Yexuan Gui; Aswin van den Berg; Kim Fleer; David Nelson; Michael Wells; Brian E. Mastenbrook (SDL Forum, 2007)