Вот что нашел. Там еще ссылается на "An alternative control structure and its formal definition", но её не нашел.

UPD:тутпогляди эти статьи, там у каждой статьи есть списки референсов, может найдёшь критику или улучшения.