荷兰国旗问题的形式化推导及其多态性实现

• Formal derivation and implementation with polymorphism of the problem of Dutch national flag