XPost: comp.unix.shell, comp.os.linux.misc   
   From: miller@yoyo.ORG   
      
   On Sunday, December 23rd, 2012, at 11:04:07h +0000,   
   Chris Glurr burbled:   
      
   > We need a rigorous/formal syntax for computing.   
      
   Have you considered the Z formal specification notation,   
      
        
      
   now an ISO standard -- ISO/IEC 13568:2002   
      
        
      
   You can buy your own copy at a mere CHF 238 (approximately ZAR 2320).   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)