_INSTANTIATING CODE PATTERNS_
by Fred Wild

Listing One

object PetOwner  
    Name            :       string ;
    Pet             :       ptr_to  Pet [is_owner] ;
    Vet             :       ptr_to  Veterinarian [is_shared] ;
end ;

object Veterinarian  
    Name            :       string ;
    StreetAddress   :       string ;
    Town            :       string ;
    Phone           :       string ;
end ;

object Pet 
    Name            :       string ;
    ...