Analyse de complexit'e des algorithmes : v'erification et inf'erence (1992)

by V Dornic