Search and imperative programming (1996)

by Krzysztof R. Apt , Andrea Schaerf
Citations:12 - 3 self