The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers
scientific article; zbMATH DE number 1313067