Calculo del cociente y resto mediante restas sucesivas

Programa en Pseudocódigo para calcular el cociente y resto de dos números enteros positivos a y b mediante restas sucesivas.

Proceso cociente_resto_restas_sucesivas
    Repetir
        leer a,b
    Hasta Que a>0 & a=trunc(a) &  b>0 & b=trunc(b)
    c<-0
    Mientras a>=b Hacer
        a<-a-b
        c<-c+1
    FinMientras
    Escribir "Cociente ",c
    Escribir "Resto ",a
FinProceso