TY  - RPRT
T1  - A new Hoare-calculs for programs with recursive parameterless procedures
T3  - Saarbrücken, 1981
A1  - Sieber,Kurt
Y1  - 2011/09/07
N2  - 
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/4202
ER  -