Logical systems for structured specifications. (2002)

by T Borzyszkowski
Venue:Theoretical Computer Science,