formalisation

well-known questions

combinatorical questions

remarks on algorithm

bibliography