Structured Object-Oriented Formal Language and Method

SOFL 2012: Kyoto, Japan