Saraiva JA, Bigonha R, Tirelo F.? 2008.??Disentangling denotational semantics specifications. JUCS - Journal of Universal Computer Science. 14(21):3592--3607.