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

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