Books by Foundations of Software Science and Computation Structures (1998 Lisbon, Portugal) on BookTides.