Abstract Interface Behavior of Object-Oriented Languages with Monitors