Heike Wehrheim Data Abstraction Techniques in the Validation of CSP-OZ Specifications. 147-164 2000 12 Formal Asp. Comput. 3 http://link.springer.de/link/service/journals/00165/bibs/0012003/00120147.htm db/journals/fac/fac12.html#Wehrheim00