author : Frank Zeyda

Short works

• Expression transformers in B-GSL. 2003. (In ZB 2003 )
• A Prospective-Value semantics for the GSL. 2005. (In ZB 2005 )