Specification languages for mechanical languages and their processors a baker's dozen | Synapse