On the logic of tla (0)

by S Merz
Venue:Computing and Informatics