Embedding An Object Calculus In The Unifying Theories Of Programming