Programming.
pcal will assume the extension .tla so you can leave it off if you want. For the sake of clarity I will include it. The basic command is: pcal myspec.tla Unlike command line tools you might be used to pcal is very particular about order of arguments. The name of the file you want to translate