Module checking (2001)

by O Kupferman, M Vardi, P Wolper
Venue:Inform. and Comput