An object-oriented and type-safe programming language that has its roots in the C family of languages and includes support for component-oriented programming.
See the following blog post and for even more see all of Steven's posts where there are more than you are after but easy to pick the right post out from the list.
Then there is an important repository on cancellations.