Author: Foundations of Software Science and Computation Structures (1998 Lisbon, Portugal)