id: 70799725
dt: a
an: 70799725
au: Solin, Kim; Von Wright, Joakim
ti: Refinement algebra with operators for enabledness and termination
so: MPC, 397-415 (2006).
py: 2006
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/11783596_23