Zaslat SMS: Proceedings : Second Working Conference on Asynchronous Design Methodologies, May 30-31, 1995, London, England.