A.C.M.
SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Networks and Optimization

Apt, K.& Schaerf, A. (1997). Search and imperative programming. Proceedings of SIGPLAN-SIGACT Symposium on Principles of Programming Languages 1997, 67–79.