СГ>TYPE
СГ>  List = POINTER TO ListDesc;

СГ>  ListDesc = RECORD
СГ>      Data: ....
СГ>      Next: List;
СГ>    END;
СГ>

class Element
{
    .... Data;
    Element Next;
}

class Element<T>
{
    T Data;
    Element Next;
}

class Element
{
    .... Data;
    Element Next;
}

void* a = (void*)&A;

TYPE
  Tree = POINTER TO TreeDesc;

  TreeDesc = RECORD
    Data:..
    Left, Right: Tree;
  END;

VAR
  p: Tree;

PROCEDURE Proc(VAR t: TreeDesc);
BEGIN
 ...
END Proc;

СГ>class Element
СГ>{
СГ>    .... Data;
СГ>    Element Next;
СГ>}
СГ>

In an unsafe context, a type (§11) can be a pointer-type as well as a value-type, a reference-type, or a type-parameter. 47
parameter...

A reference type is a class type, an interface type, an array type, or a delegate type.
...
A reference type value is a reference to an instance of the type, the latter known as an object. The special value null is compatible with all reference types and indicates the absence of an instance.

C# supports two kinds of types: value types and reference types. Value types include simple types (e.g., char, int, and float), enum types, and struct types. Reference types include class types, interface types, delegate types, and array types.

Value types differ from reference types in that variables of the value types directly contain their data, whereas variables of the reference types store references to objects. With reference types, it is possible for two variables to reference the same object, and thus possible for operations on one variable to affect the object referenced by the other variable. With value types, the variables each have their own copy of the data, and it is not possible for operations on one to affect the other.

Oberon
Much as with Modula-2, pointers are available. There are fewer ways to evade the type system and so Oberon and its variants are still safer with respect to pointers than Modula-2 or its variants. As with Modula-3, garbage collection is a part of the language specification.

СГ>void* a = (void*)&A;
СГ>

int adr = (int)(void*)&A;

СГ>PROCEDURE Proc(VAR t: TreeDesc);
СГ>BEGIN
СГ> ...
СГ>END Proc;
СГ>

// Сслочный тип данных.
calss A {} 
...
// Не инициализированная (равных null) ссылка.
A a1; 
// Ссылка на некоторый объект.
A a2 = new A(); 
// Ссылка на массив неинициализированных ссылок на A.
A[] array = new A[2];
// Инициализированный массив. 
A[] array = new A[] { new A(), new A() };

unsafe
{
    int i = 1; // value-тип.
    int* p = &i; // Указатель! :)
    ++p; // Сюрприз! Адресная арефметика. :))
}

WH>  FOR i := 0 TO Self.p DO
WH>    h.x := h.x + N[i] * Self.Pw[span - Self.p + 1].x;
WH>    h.y := h.y + N[i] * Self.Pw[span - Self.p + 1].y; //тут точка с запятой нужна
WH>    h.z := h.z + N[i] * Self.Pw[span - Self.p + 1].z  //А тут нет
WH>  END;
WH>

StatementSeq  =   Statement { ";" Statement }.

Block     =   Statement { Statement }.
...
Statement = ( xxx | yyy | zzz ) ";".

  a := 1
; b := a + 3
; c := b + a

// 1
string s1 = "aaa";
string s2 = s1;
s2[0] = 'b';
print(s1);

// 2
int i1 = 5;
int i2 = i1;
i2 = 10;
print(i1);

// 1
string  s1 = "aaa";
string& s2 = s1;
s2[0] = 'b';
print(s1);

// 2
int i1 = 5;
int i2 = i1;
i2 = 10;
print(i1);