Distributed algorithm development with PVM-prolog. - José C. Cunha; R. F. P. Marques (PDP, 1997)