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

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