<code pascal>
program seznam;

uses list;

var queue : DList;
    p : ^ block;

begin
     Init (queue);
     InsertLast (queue, 'abc');
     InsertLast (queue, 'def');
     InsertLast (queue, 'klm');

     InsertAfter (queue, queue.first, 'something');
     InsertAfter (queue, queue.last, 'last');

     InsertBefore (queue, queue.first, 'first');
     InsertBefore (queue, queue.last, 'before last');

     Remove (queue, queue.first);
     Remove (queue, queue.last^.prev);
     Remove (queue, queue.last);

     p := queue.first;
     while p <> nil do begin
        writeln (p^.data);
        p := p^.next;
     end;

     readln;
end.
</code>
<code pascal>
unit List;

interface

type content = string;

     block = record
                data : content;
                prev , next :  ^ block;
             end;

     DList = record
                first: ^ block;
                last: ^ block;
             end;

procedure Init (var seznam: DList);
procedure InsertFirst (var seznam: DList ; value: content);
procedure InsertLast (var seznam: DList ; value: content);
procedure InsertBefore (var seznam: DList; target:^block; value:content);
// procedure InsertAfter (var seznam: DList; target:^block; value:content);
// function  Find (var seznam: DList; value:content) : ^ block;
// procedure Remove (var seznam: DList; target:^block);

implementation

procedure Init (var seznam: DList);
begin
     seznam.first := nil;
     seznam.last := nil;

     {
     with seznam do begin
         first := nil;
         last := nil;
     end;
     }
end;

procedure InsertLast (var seznam: DList ; value: content);
var  p : ^ block;
begin
     new (p);
     p^.data := value;
     p^.prev := nil;
     p^.next := nil;

     if seznam.first = nil then begin
        seznam.first := p;
        seznam.last := p;
     end
     else begin
        seznam.last^.next := p;
        p^.prev := seznam.last;
        seznam.last := p;
     end;
end;

procedure InsertFirst (var seznam: DList ; value: content);
var  p : ^ block;
begin
     new (p);
     p^.data := value;
     p^.prev := nil;
     p^.next := nil;

     if seznam.first = nil then begin
        seznam.first := p;
        seznam.last := p;
     end
     else begin
        seznam.first^.prev := p;
        p^.next := seznam.first;
        seznam.first := p;
     end;
end;

procedure InsertAfter (var seznam: DList; target:ref; value:content);
var  p : ^ block;
begin
     assert (target <> nil);

     new (p);
     p^.data := value;
     p^.prev := target; {1}
     p^.next := target^.next; {2}

     target^.next := p; {3}

     if p^.next = nil then
        seznam.last := p {4a}
     else
        p^.next^.prev := p {4b}

end;

procedure InsertBefore (var seznam: DList; target:ref; value:content);
var  p : ^ block;
begin
     assert (target <> nil);

     new (p);
     p^.data := value;
     p^.prev := target^.prev;
     p^.next := target;

     target^.prev := p;

     if p^.prev = nil then
        seznam.first := p
     else
        p^.prev^.next := p
end;  

procedure Remove (var seznam: DList; target:ref);
begin
     assert (target <> nil);

     if target^.prev = nil then
        seznam.first := target^.next
     else
        target^.prev^.next := target^.next;

     if target^.next = nil then
        seznam.last := target^.prev
     else
        target^.next^.prev := target^.prev;

     dispose (target);
end;
  
end.
</code>