Proceeding on logics of programs - Parikh Rohit Ed.; Conference on logics of programs (1985 : Brooklyn) (Berlin Springer-Verlag, 1985)
Keywords: Statistics