Structured Object Oriented Formal Language And Method 9th International Workshop | Desertcart Japan