void f()
{
Document dbDoc = null;
Reference myReference = null;
string refString = myReference
.ConvertToStableRepresentation( dbDoc );
string[] refTokens = refString.Split(
new char[] { ':' } );
}