Peter Van-Roy

• Concepts, Techniques, and Models of Computer Programming
• Concepts, Techniques, and Models of Computer Programming
• Fast Logic Program Execution
• Multiparadigm programming in Mozart/OZ