Ehud Y. Shapiro Akikazu Takeuchi Object Oriented Programming in Concurrent Prolog. 25-48 1983 1 New Generation Comput. 1 db/journals/ngc/ngc1.html#ShapiroT83